Natural non-dcpo domains and f-spaces
نویسنده
چکیده
As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily-sequential functionals is not ω-complete (in contrast to the old fully abstract continuous dcpo model of Milner). This is also applicable to a potentially wider class of models such as the recently constructed by the author fully abstract (universal) model for PCF = PCF + pif (parallel if). Here we will present an outline of a general approach to this kind of ‘natural’ domains which, although being non-dcpos, allow considering ‘naturally’ continuous functions (with respect to existing directed ‘pointwise’, or ‘natural’ least upper bounds). There is also an appropriate version of ‘naturally’ algebraic and ‘naturally’ bounded complete ‘natural’ domains which serves as the non-dcpo analogue of the well-known concept of Scott domains, or equivalently, the complete f-spaces of Ershov. It is shown that this special version of ‘natural’ domains, if considered under ‘natural’ Scott topology, exactly corresponds to the class of f-spaces, not necessarily complete.
منابع مشابه
On Natural Non-dcpo Domains
As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily sequential functionals is not ω-complete and therefore not continuous in the traditional terminology (in contrast to the old fully abstract continuous dcpo model of Milner). This is also applicable to a wider class of models such as the recently constructed by the author fully abstract (universal) model for PCF ...
متن کاملA non-topological view of dcpos as convergence spaces
The category TOP of topological spaces is not cartesian closed, but can be embedded into the cartesian closed category CONV of convergence spaces. It is well known that the category DCPO of dcpos and Scott continuous functions can be embedded into TOP, and so into CONV, by considering the Scott topology. We propose a di3erent, “cotopological” embedding of DCPO into CONV, which, in contrast to t...
متن کاملDcpo models of T1 spaces
A poset model of a topological space X is a poset P together with a homeomorphism φ : X−→Max(P ) (Max(P ) is the subspace of the Scott space ΣP consisting of maximal points of P ). In [11] (also in [2]), it was proved that every T1 space has a bounded complete algebraic poset model. It is, however still unclear whether each T1 space has a dcpo model. In this paper we give a positive answer to t...
متن کاملClausal Logic and Logic Programming in Algebraic Domains
We introduce a domain-theoretic foundation for disjunctive logic programming. This foundation is built on clausal logic, a representation of the Smyth powerdomain of any coherent algebraic dcpo. We establish the completeness of a resolution rule for inference in such a clausal logic; we introduce a natural declarative semantics and a fixed-point semantics for disjunctive logic programs, and pro...
متن کاملA duality between fuzzy domains and strongly completely distributive $L$-ordered sets
The aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. All values aretaken in a fixed frame $L$. A definition of (strongly) completelydistributive $L$-ordered sets is introduced. The main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive $L$-ordereds...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 159 شماره
صفحات -
تاریخ انتشار 2009